Видео с ютуба Lambda Calculus Church Numerals

Программирование с использованием математики | Лямбда-исчисление

What is PLUS times PLUS?

Seven times Eight in Lambda Calculus

L20: Church Numerals

Изучите лямбда-исчисление: язык, содержащий ТОЛЬКО ФУНКЦИИ

What is Lambda Calculus? (ft. Church Encodings)

Коса Кодировка 7 - Церковные цифры

Lambda Calculus - Computerphile

Лямбда-исчисление!

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

Church Encoding: Programming in the Lambda Calculus

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

A lambda calculus evaluation involving Church numerals

David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

Church Numerals - with Javascript, in your browser

OmegaOS: A Lambda Calculus Based Operating System

Shplait Encoding 6 - lambda calculus

Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017

Computer Science: lambda calculus with church numerals (2 Solutions!!)

CS442 Video 2.3: Lambda calculus numbers and addition